diff options
author | Camil Staps | 2018-09-05 23:00:02 +0200 |
---|---|---|
committer | Camil Staps | 2018-09-05 23:00:02 +0200 |
commit | e18bc08834f0aff08b85d85c1eee6d9d6fc819bb (patch) | |
tree | 42680fe134eceb8183d1be0a3e0193245604748e /clean | |
parent | Add vim-fuspel as pinned plugin (diff) |
Minor updates to Clean stuff
Diffstat (limited to 'clean')
-rwxr-xr-x | clean/bin/install_clean | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clean/bin/install_clean b/clean/bin/install_clean index 27c9008..84d7d5b 100755 --- a/clean/bin/install_clean +++ b/clean/bin/install_clean @@ -48,5 +48,5 @@ sed -i 's=lib/exe/linker=lib/exe/linker:-no-pie=' /opt/clean/etc/IDEEnvs cloogletags -a -c -d /opt/clean/lib -o /opt/clean/lib/tags -ln -s /home/camil/VersionControl/clean-test/cleantest /opt/clean/bin/cleantest +rm /opt/clean/bin/cleantest; ln -s /home/camil/VersionControl/clean-test/cleantest /opt/clean/bin/cleantest ln -s /home/camil/VersionControl/clean-test-properties/testproperties /opt/clean/bin/testproperties |