#! /bin/sh
#
# $Id$
#
# Copyright 1989-2016 MINES ParisTech
#
# This file is part of PIPS.
#
# PIPS is free software: you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# any later version.
#
# PIPS is distributed in the hope that it will be useful, but WITHOUT ANY
# WARRANTY; without even the implied warranty of MERCHANTABILITY or
# FITNESS FOR A PARTICULAR PURPOSE.
#
# See the GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with PIPS.  If not, see <http://www.gnu.org/licenses/>.
#

# add a warning to the automatically generated files

script=`basename $0`

[ $# -eq 1 ] ||
{
  echo "Usage: $script filename" 1>&2
  exit 1
}

name=$1
tmp=/tmp/hpfc_add_warning_tmp.$$

simple=`basename $name`

rm -f $tmp

{
  cat <<-EOF
	!
	! File $simple
	! This file has been automatically generated by the hpf compiler
	!
	EOF
  cat $name 
  cat <<-EOF
	!
	! That is all
	!
	EOF
} > $tmp

rm -f $name
mv $tmp $name