diff options
author | makefu <root@pigstarter.de> | 2013-11-02 02:43:11 +0100 |
---|---|---|
committer | makefu <root@pigstarter.de> | 2013-11-02 02:43:11 +0100 |
commit | 3060d3c4ce12fae2e8b754f13d0e227af2134ab5 (patch) | |
tree | 962237107570fbac43dc2c9ece5cda483cf47daf /bin | |
parent | a1fc5b132349946dc9dc536de7a2f2812e407105 (diff) |
add deploy script
we are running hill billy style dependency resolution by cat-ing every lib into the resulting binary
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/punani | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/punani b/bin/punani new file mode 100755 index 00000000..1e3fab87 --- /dev/null +++ b/bin/punani @@ -0,0 +1,4 @@ +#!/bin/sh +# include core +# include punani +punani "$@" |