Add missing not-dynamic script

dev0.7.3 v0.7.3
Alex Auvolat 2 years ago
parent 8394f32d16
commit e8a52192d0
No known key found for this signature in database
GPG Key ID: 0E496D15096376BE
  1. 14
      script/not-dynamic.sh

@ -0,0 +1,14 @@
#!/usr/bin/env bash
set -e
if [ "$#" -ne 1 ]; then
echo "[fail] usage: $0 binary"
exit 2
fi
if file $1 | grep 'dynamically linked' 2>&1; then
echo "[fail] $1 is dynamic"
exit 1
fi
echo "[ok] $1 is probably static"
Loading…
Cancel
Save