diff options
author | Andreas Grapentin <andreas@grapentin.org> | 2018-03-28 07:00:44 +0200 |
---|---|---|
committer | Andreas Grapentin <andreas@grapentin.org> | 2018-03-28 07:00:44 +0200 |
commit | 0cdff36d43aea7dc5415e6a4d58d1e10c68e2965 (patch) | |
tree | 0940b5244b3a9dc3b23110babf32e0490294a8dd /create.sh | |
parent | aa231bc9b0b37c1d78a62dacf1f72432bae574b4 (diff) |
progress towards stage4
Diffstat (limited to 'create.sh')
-rwxr-xr-x | create.sh | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -38,6 +38,9 @@ export startdir="$(pwd)" export topbuilddir="$startdir"/build export topsrcdir="$startdir"/src +# options +export KEEP_GOING=${KEEP_GOING:-no} + . "$topsrcdir"/shared/feedback.sh . "$topsrcdir"/shared/common.sh |