diff options
Diffstat (limited to 'sci-mathematics/isabelle/files/isabelle-2016.1-bash_process-1.2.1-settings.patch')
-rw-r--r-- | sci-mathematics/isabelle/files/isabelle-2016.1-bash_process-1.2.1-settings.patch | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/sci-mathematics/isabelle/files/isabelle-2016.1-bash_process-1.2.1-settings.patch b/sci-mathematics/isabelle/files/isabelle-2016.1-bash_process-1.2.1-settings.patch deleted file mode 100644 index 38d047199ce8..000000000000 --- a/sci-mathematics/isabelle/files/isabelle-2016.1-bash_process-1.2.1-settings.patch +++ /dev/null @@ -1,7 +0,0 @@ ---- Isabelle2016-1-orig/contrib/bash_process-1.2.1/etc/settings 2016-02-14 09:48:03.000000000 +1100 -+++ Isabelle2016-1/contrib/bash_process-1.2.1/etc/settings 2017-01-02 13:44:49.355549312 +1100 -@@ -1,3 +1,3 @@ - # -*- shell-script -*- :mode=shellscript: - --ISABELLE_BASH_PROCESS="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}/bash_process" -+ISABELLE_BASH_PROCESS="$COMPONENT/bash_process" |