summaryrefslogtreecommitdiff
path: root/www/aws/files/patch-tools_tools.gpr
diff options
context:
space:
mode:
Diffstat (limited to 'www/aws/files/patch-tools_tools.gpr')
-rw-r--r--www/aws/files/patch-tools_tools.gpr8
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");