diff options
Diffstat (limited to 'www/aws/files/patch-tools_tools.gpr')
| -rw-r--r-- | www/aws/files/patch-tools_tools.gpr | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/www/aws/files/patch-tools_tools.gpr b/www/aws/files/patch-tools_tools.gpr index 66e5397f3178..6abe82675e3b 100644 --- a/www/aws/files/patch-tools_tools.gpr +++ b/www/aws/files/patch-tools_tools.gpr @@ -1,8 +1,8 @@ ---- tools/tools.gpr.orig 2014-05-15 19:48:07.000000000 +0000 +--- tools/tools.gpr.orig 2015-06-22 10:52:10 UTC +++ tools/tools.gpr -@@ -29,8 +29,7 @@ project Tools is - (".", "../templates_parser/tools", - "../" & Shared.Target_Dir & "/setup/tsrc"); +@@ -27,8 +27,7 @@ project Tools is + + for Source_Dirs use (".", "../templates_parser/tools"); - for Main use ("awsres.adb", "aws_password.adb", "templates2ada.adb", - "webxref.adb", "templatespp.adb"); |