summaryrefslogtreecommitdiffstats
path: root/ship/build
diff options
context:
space:
mode:
authortv <tv@nomic.retiolum>2013-11-12 15:45:37 +0100
committertv <tv@nomic.retiolum>2013-11-12 15:45:37 +0100
commit0be9d62c78c27ea73691cb0a58779c319d5f9355 (patch)
treef43f6a8984f986ff413fc6278dde7703697333e7 /ship/build
parent5af5558ea3d0499a2c17da6358cc6beca9a7c01b (diff)
ship: split _punani_db off lib/punani
Diffstat (limited to 'ship/build')
-rwxr-xr-xship/build2
1 files changed, 1 insertions, 1 deletions
diff --git a/ship/build b/ship/build
index 61d79ee4..bd26482d 100755
--- a/ship/build
+++ b/ship/build
@@ -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