allow adding local libraries

1 files changed, 9 insertions, 0 deletions

diff --git a/add b/add
new file mode 100755
index 0000000..15c2abd
--- /dev/null
+++ b/add
@@ -0,0 +1,9 @@
+#!/bin/bash
+if [[ $# != 1 ]]; then
+  echo >&2 "Usage: $0 libc_filename"
+  exit 2
+fi
+
+. common/libc.sh
+
+add_local $1