summarylogtreecommitdiffstats
path: root/Makefile-patch
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile-patch')
-rw-r--r--Makefile-patch23
1 files changed, 0 insertions, 23 deletions
diff --git a/Makefile-patch b/Makefile-patch
deleted file mode 100644
index 143b3b825ad..00000000000
--- a/Makefile-patch
+++ /dev/null
@@ -1,23 +0,0 @@
---- asis-gpl-2017-src/Makefile
-+++ asis-gpl-2017-src-new/Makefile
-@@ -9,7 +9,8 @@
- # ==================================================== build
-
- .PHONY: all
--all: setup-snames
-+#all: setup-snames
-+all:
- $(GPRBUILD) -p -j0 -XBLD=$(BLD) -XASISOPSYS=$(ASISOPSYS) -XGNSA=$(GNSA) \
- $(GPRBUILD_FLAGS) -XASIS_COMPONENTS=$(COMPS) build_asis.gpr
-
-@@ -30,7 +31,8 @@
- # snames.ads". 'cmp' returns true (i.e. 0) if the files are identical.
-
- .PHONY: setup
--setup: setup-snames setup-factory
-+setup: setup-factory
-+#setup: setup-snames setup-factory
-
- .PHONY: setup-snames
- setup-snames: gnat/snames.ads-tmpl gnat/snames.adb-tmpl gnat/xutil.ads gnat/xutil.adb
-