1 files changed, 4 insertions, 2 deletions
diff --git a/genif.sh b/genif.sh
index 4c182ec67e..787b9dbc96 100644
--- a/genif.sh
+++ b/genif.sh
@@ -1,19 +1,21 @@
 #! /bin/sh
 
-# $Id: genif.sh,v 1.7 1999-09-03 17:46:39 sas Exp $
+# $Id: genif.sh,v 1.8 2000-03-26 02:46:59 sas Exp $
 # replacement for genif.pl
 
 infile="$1"
 shift
 srcdir="$1"
 shift
+extra_module_ptrs="$1"
+shift
 
 if test "$infile" = "" -o "$srcdir" = ""; then
 	echo "please supply infile and srcdir"
 	exit 1
 fi
 
-module_ptrs=""
+module_ptrs="$extra_module_ptrs"
 includes=""
 
 olddir=`pwd`