1 files changed, 0 insertions, 12 deletions
diff --git a/lang/asis/files/patch-Makefile.stub b/lang/asis/files/patch-Makefile.stub
deleted file mode 100644
index af0a5f244b7b..000000000000
--- a/lang/asis/files/patch-Makefile.stub
+++ /dev/null
@@ -1,12 +0,0 @@
---- Makefile.stub.orig	2015-06-22 09:23:18 UTC
-+++ Makefile.stub
-@@ -3,8 +3,7 @@ host := $(shell gcc -dumpmachine)
- 
- # Where Asis library should be installed
- # Default is into current GNAT directory
--INSTALL_DIR = $(dir $(shell which gnatls))..
--prefix=$(INSTALL_DIR)
-+prefix=$(PREFIX)
- 
- # System commands
- LN = ln -s