| Index: src/trusted/validator_arm/dgen_output.py
 | 
| diff --git a/src/trusted/validator_arm/dgen_output.py b/src/trusted/validator_arm/dgen_output.py
 | 
| deleted file mode 100644
 | 
| index a4896d29d5ed1c6cb0d335d845365189d7d78be2..0000000000000000000000000000000000000000
 | 
| --- a/src/trusted/validator_arm/dgen_output.py
 | 
| +++ /dev/null
 | 
| @@ -1,32 +0,0 @@
 | 
| -#!/usr/bin/python
 | 
| -#
 | 
| -# Copyright (c) 2012 The Native Client Authors. All rights reserved.
 | 
| -# Use of this source code is governed by a BSD-style license that can be
 | 
| -# found in the LICENSE file.
 | 
| -#
 | 
| -
 | 
| -"""
 | 
| -Some common boilerplates and helper functions for source code generation
 | 
| -in files dgen_test_output.py and dgen_decode_output.py.
 | 
| -"""
 | 
| -
 | 
| -HEADER_BOILERPLATE ="""
 | 
| -/*
 | 
| - * Copyright 2012 The Native Client Authors.  All rights reserved.
 | 
| - * Use of this source code is governed by a BSD-style license that can
 | 
| - * be found in the LICENSE file.
 | 
| - */
 | 
| -
 | 
| -// DO NOT EDIT: GENERATED CODE
 | 
| -"""
 | 
| -
 | 
| -NOT_TCB_BOILERPLATE="""
 | 
| -#ifndef NACL_TRUSTED_BUT_NOT_TCB
 | 
| -#error This file is not meant for use in the TCB
 | 
| -#endif
 | 
| -
 | 
| -"""
 | 
| -
 | 
| -def ifdef_name(filename):
 | 
| -  """ Generates the ifdef name to use for the given filename"""
 | 
| -  return filename.replace("/", "_").replace(".", "_").upper() + "_"
 | 
| 
 |