File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11.PHONY : target
22
33all :
4- @echo " make build|linux|busybox|initrd|target|ssh|sync|test|check| clean|download|up|extract|vbox|cmd|gui"
4+ @echo " make build|linux|busybox|initrd|target|ssh|sync|test|clean|download|up|extract|vbox|cmd|gui"
55
66extract :
77 ./scripts/extract_signpost.sh
1818sync :
1919 ./scripts/sync.sh
2020
21- check :
22- ./scripts/check.sh
23-
2421download :
2522 ./scripts/download.sh
2623
Original file line number Diff line number Diff line change 1+ ../ghost/check.sh
File renamed without changes.
Original file line number Diff line number Diff line change 1+ ../ghost/check.sh
Original file line number Diff line number Diff line change @@ -10,7 +10,6 @@ rm -f "$DISK_FILE"
1010./scripts/build_initrd.sh
1111./scripts/build_target.sh
1212
13- ./scripts/check.sh
1413./scripts/sync.sh
1514
1615notify " Building done"
Original file line number Diff line number Diff line change @@ -52,3 +52,5 @@ pushd "$SUPPORT_BUILD"
5252 popd
5353 done
5454popd
55+
56+ [ -x " $NICE_PRESET_PATH /check.sh" ] && " $NICE_PRESET_PATH /check.sh" || true
You can’t perform that action at this time.
0 commit comments