From dd3e6de7a7091cf32db9a378b0c251ba9dd37011 Mon Sep 17 00:00:00 2001
From: Niklas Baumstark <niklas.baumstark@gmail.com>
Date: Tue, 17 Mar 2015 18:36:39 +0100
Subject: allow adding local libraries

---
 add | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 add

(limited to 'add')

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
-- 
cgit v1.2.3-54-g00ecf