diff options
author | tv <tv@nomic.retiolum> | 2013-11-12 15:45:37 +0100 |
---|---|---|
committer | tv <tv@nomic.retiolum> | 2013-11-12 15:45:37 +0100 |
commit | 0be9d62c78c27ea73691cb0a58779c319d5f9355 (patch) | |
tree | f43f6a8984f986ff413fc6278dde7703697333e7 /ship/build | |
parent | 5af5558ea3d0499a2c17da6358cc6beca9a7c01b (diff) |
ship: split _punani_db off lib/punani
Diffstat (limited to 'ship/build')
-rwxr-xr-x | ship/build | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -24,7 +24,7 @@ build() { ### macros ### -## usage: #@include \([0-9A-Za-z]\+\) -> build_include \1 \2 +## usage: #@include \([0-9A-Za-z_]\+\) -> build_include \1 \2 build_include() { if buildcache_has "#@include:$2"; then printf '%da\\\n##include %s: already done\n' $1 $2 |