diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-04-05 18:02:11 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-04-05 18:02:11 +0200 |
| commit | 1df2f844240e8349ea4fa82519076a514edaaa0c (patch) | |
| tree | 8a4dcd5d8706f0f353fcfd92813a0a650d30f895 /ide | |
| parent | 332efef9073eadb4907cd4e9ee1ba17bcc16afc6 (diff) | |
Remove unused script.
This is dead code since fd44a40f9d426a7b65f167bc30d320a0f7dd2bbd.
This script was initially introduced in a088d03434417e935df3c75f81a954eadbdfc2b8
and left untouched since then.
Diffstat (limited to 'ide')
| -rwxr-xr-x | ide/MacOS/relatify_with-respect-to_.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/ide/MacOS/relatify_with-respect-to_.sh b/ide/MacOS/relatify_with-respect-to_.sh deleted file mode 100755 index a24af9395..000000000 --- a/ide/MacOS/relatify_with-respect-to_.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh - -set -e - -for i in "$3/"*.dylib -do install_name_tool -change "$2"/$(basename $i) @executable_path/../Resources/lib/$(basename $i) "$1" -done -case "$1" in - *.dylib) - install_name_tool -id @executable_path/../Resources/lib/$(basename $1) $1 - for i in "$3"/*.dylib - do install_name_tool -change "$2/"$(basename $1) @executable_path/../Resources/lib/$(basename $1) $i - done;; - *) -esac |