aboutsummaryrefslogtreecommitdiff
path: root/install-dpi-local
diff options
context:
space:
mode:
authorcorvid <corvid@lavabit.com>2010-01-24 23:39:19 +0000
committercorvid <corvid@lavabit.com>2010-01-24 23:39:19 +0000
commit34125c3a9bbd23556062dd7b25ea27dcd3256f9b (patch)
treecf5296407b183e7fec48a7896ae8946c97c0b030 /install-dpi-local
parent3465bf36ff83a4d0779b37852a2237e2f1667168 (diff)
install-dpi-local strip dpidc
Diffstat (limited to 'install-dpi-local')
-rwxr-xr-xinstall-dpi-local2
1 files changed, 1 insertions, 1 deletions
diff --git a/install-dpi-local b/install-dpi-local
index e843e6c1..29616a91 100755
--- a/install-dpi-local
+++ b/install-dpi-local
@@ -24,7 +24,7 @@ if [ ! -d $BASE2 ] ; then
fi
cp dpid/dpid dpid/dpidc $BASE
-strip $BASE/dpid
+strip $BASE/dpid $BASE/dpidc
cd dpi
for F in *.dpi ; do