diff options
Diffstat (limited to 'devel/asis-gpl/files/patch-tools_tool_utils_asis_ul-common.adb')
-rw-r--r-- | devel/asis-gpl/files/patch-tools_tool_utils_asis_ul-common.adb | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/asis-gpl/files/patch-tools_tool_utils_asis_ul-common.adb b/devel/asis-gpl/files/patch-tools_tool_utils_asis_ul-common.adb new file mode 100644 index 000000000000..05e654237cb4 --- /dev/null +++ b/devel/asis-gpl/files/patch-tools_tool_utils_asis_ul-common.adb @@ -0,0 +1,11 @@ +--- tools/tool_utils/asis_ul-common.adb.orig Mon Jan 1 02:42:51 2007 ++++ tools/tool_utils/asis_ul-common.adb Mon Jan 1 02:45:07 2007 +@@ -74,7 +74,7 @@ + if Gnatmake_Call then + return Target & "gnatmake"; + else +- return Target & "gcc"; ++ return Target & "gnatgcc"; + end if; + + end if; |