--- a/src/Tools/8bit/perl/generators/gen-isa2latex.pl Mon Aug 12 16:28:15 1996 +0200
+++ b/src/Tools/8bit/perl/generators/gen-isa2latex.pl Fri Aug 16 11:27:10 1996 +0200
@@ -22,6 +22,7 @@
&initpwd;
$initial_dir = $ENV{'PWD'};
+$GMAKE= "gmake";
########################
# comand line processing
@@ -547,15 +548,15 @@
# execute Makefile
#
print "\nexecuting Makefile\n" if $do_debug;
-$status = system("gmake") ;
-if ($status) { die "\"gmake\" executed abnormally: $!\n";}
+$status = system($GMAKE) ;
+if ($status) { die "\"".$GMAKE."\" executed abnormally: $!\n";}
#$status = system("cp $conv_temp_dir/$conv_sub_dir/isa2latex $conv_source_dir");
# if ($status) { die "can't copy binary file to CONV_SOURCE_DIR: $!\n";}
#print "\nexecuting Makefile, cleaning up\n" if $do_debug;
-#$status = system("gmake clean");
-#if ($status) { die "\"gmake clean\" executed abnormally: $!\n";}
+#$status = system($GMAKE." clean");
+#if ($status) { die "\"".$GMAKE." clean\" executed abnormally: $!\n";}
#######################################################################
# process -s option