diff options
author | Christian Grothoff <christian@grothoff.org> | 2012-09-17 12:07:58 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2012-09-17 12:07:58 +0000 |
commit | 7e3313ce2b4797bde341340f4402ddc14cb63138 (patch) | |
tree | ad5b6270bab4049e6de09de0595981473d13fd9f /src/gns/nss/uninstall-nss-plugin.sh | |
parent | 7376708ac7b99e80fb28e47b4acb305ef8069d3c (diff) | |
download | gnunet-7e3313ce2b4797bde341340f4402ddc14cb63138.tar.gz gnunet-7e3313ce2b4797bde341340f4402ddc14cb63138.zip |
-adding GPLv3 license, adding uninstall script to fix #2534
Diffstat (limited to 'src/gns/nss/uninstall-nss-plugin.sh')
-rwxr-xr-x | src/gns/nss/uninstall-nss-plugin.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/gns/nss/uninstall-nss-plugin.sh b/src/gns/nss/uninstall-nss-plugin.sh new file mode 100755 index 000000000..61c8eff86 --- /dev/null +++ b/src/gns/nss/uninstall-nss-plugin.sh | |||
@@ -0,0 +1,8 @@ | |||
1 | #!/bin/bash | ||
2 | # $1 - shell | ||
3 | # $2 - top_builddir | ||
4 | # $3 - nssdir+path of library to remove | ||
5 | # $4 - sudo binary (empty if root) | ||
6 | $4 $1 $2/libtool --mode=uninstall $3 | ||
7 | |||
8 | |||