diff options
Diffstat (limited to 'clean/bin')
| -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 39c712f..29c2f59 100755 --- a/clean/bin/install_clean +++ b/clean/bin/install_clean @@ -17,7 +17,6 @@ for pkg in \ lib-graphcopy \ lib-itasks \ lib-platform \ - lib-sapl \ lib-stdlib \ lib-tcpip \ test @@ -64,6 +63,7 @@ link_local_file bin/cleanprof2callgrind ~/VersionControl/cleanprof2callgrind/cle link_local_file lib/exe/abcopt ~/VersionControl/abc-interpreter/src/abcopt link_local_file lib/exe/bcgen ~/VersionControl/abc-interpreter/src/bcgen link_local_file lib/exe/bclink ~/VersionControl/abc-interpreter/src/bclink +link_local_file lib/exe/bcprelink ~/VersionControl/abc-interpreter/src/bcprelink link_local_file lib/exe/bcstrip ~/VersionControl/abc-interpreter/src/bcstrip # completion |