aboutsummaryrefslogblamecommitdiffstats
path: root/make/save_args
blob: 331cde99e10d3a50763558eb83df16960cd34ebb (plain) (tree)





































































                                                                                    
#!/bin/sh
#
# ``The contents of this file are subject to the Erlang Public License,
# Version 1.1, (the "License"); you may not use this file except in
# compliance with the License. You should have received a copy of the
# Erlang Public License along with this software. If not, it can be
# retrieved via the world wide web at http://www.erlang.org/.
# 
# Software distributed under the License is distributed on an "AS IS"
# basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
# the License for the specific language governing rights and limitations
# under the License.
# 
# The Initial Developer of the Original Code is Ericsson Utvecklings AB.
# Portions created by Ericsson are Copyright 1999, Ericsson Utvecklings
# AB. All Rights Reserved.''
# 
#     $Id$
#

#
# Usage: save_args <argument storage filename> --- [arguments to save ...]
#

arg_file=
begin_marker=false

for arg
do
    if test "x$arg" = "x---"; then
	shift
	begin_marker=true
	break
    elif test "x$arg_file" = "x"; then
	arg_file=$arg
	shift
    else
	echo "save_args: Unknown argument: $arg" 1>&2
	exit 1
    fi
done

if test "x$arg_file" = "x"; then
    echo "save_args: Missing argument storage filename" 1>&2
    exit 1
fi

if test $begin_marker != true; then
    echo "save_args: No begin marker found" 1>&2
    exit 1
fi

new_args="$@"

if test ! -f $arg_file; then
    echo "$new_args" > $arg_file
    echo "save_args: No previusly saved arguments; created $arg_file"
else
    old_args=`cat $arg_file`
    case "$old_args" in
	"$new_args")
	    echo "save_args: Same arguments as saved; no need to update $arg_file";;
	*)
	    echo "$new_args" > $arg_file
	    echo "save_args: Not same arguments as saved; updated $arg_file";;
    esac
fi