diff options
Diffstat (limited to 'init.sh')
-rwxr-xr-x | init.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -403,6 +403,7 @@ else done echo "Generating '$GEN_MAKE_FILE'" + mkdir -p "$(dirname "$GEN_MAKE_FILE")" echo "#$INIT_FILE_HASH" > "$GEN_MAKE_FILE" echo "# Generated by init.sh -- do not modify manually" >> "$GEN_MAKE_FILE" echo "" >> "$GEN_MAKE_FILE" |