summarylogtreecommitdiffstats
path: root/Makefile.stub-patch
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile.stub-patch')
-rw-r--r--Makefile.stub-patch15
1 files changed, 0 insertions, 15 deletions
diff --git a/Makefile.stub-patch b/Makefile.stub-patch
deleted file mode 100644
index 469ef3d17fb..00000000000
--- a/Makefile.stub-patch
+++ /dev/null
@@ -1,15 +0,0 @@
---- asis-gpl-2017-src/Makefile.stub
-+++ asis-gpl-2017-src-new/Makefile.stub
-@@ -3,8 +3,9 @@
-
- # Where Asis library should be installed
- # Default is into current GNAT directory
--INSTALL_DIR = $(dir $(shell which gnatls))..
--prefix=$(INSTALL_DIR)
-+#INSTALL_DIR = $(dir $(shell which gnatls))..
-+#prefix=$(INSTALL_DIR)
-+prefix=$(PREFIX)
-
- # System commands
- LN = ln -s
-