diff options
Diffstat (limited to 'lang/jgnat/files/patch-make.adb')
| -rw-r--r-- | lang/jgnat/files/patch-make.adb | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/jgnat/files/patch-make.adb b/lang/jgnat/files/patch-make.adb new file mode 100644 index 000000000000..3db59fb56b86 --- /dev/null +++ b/lang/jgnat/files/patch-make.adb @@ -0,0 +1,11 @@ +--- make.adb.orig Fri Sep 1 10:13:54 2000 ++++ make.adb Fri Feb 8 21:44:31 2002 +@@ -1824,7 +1824,7 @@ + + Next_Arg := 1; + Scan_Args : loop +- exit when Next_Arg > Argument_Count; ++ exit Scan_Args when Next_Arg > Argument_Count; + Scan_Make_Arg (Argument (Next_Arg)); + Next_Arg := Next_Arg + 1; + end loop Scan_Args; |