diff options
Diffstat (limited to 'src/tools/make_diff/rmorig')
-rwxr-xr-x | src/tools/make_diff/rmorig | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/tools/make_diff/rmorig b/src/tools/make_diff/rmorig index f6d0d4eff68..5d405d0504e 100755 --- a/src/tools/make_diff/rmorig +++ b/src/tools/make_diff/rmorig @@ -1,4 +1,7 @@ -: +#!/bin/sh + +# $PostgreSQL: pgsql/src/tools/make_diff/rmorig,v 1.2 2006/03/11 04:38:42 momjian Exp $ + if [ "$#" -eq 0 ] then APATH="." else APATH="$1" |