2015-02-09 04:38:37 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
set -e
|
|
|
|
|
|
2015-09-19 15:43:00 +00:00
|
|
|
if [ "$1" != "--dev" ]; then
|
|
|
|
|
echo
|
|
|
|
|
echo Running \"production\" build. Will use lzma to compress initrd, which is somewhat slow...
|
|
|
|
|
echo Ctrl+C if you don\'t want this.
|
|
|
|
|
echo
|
|
|
|
|
echo For \"developer\" builds, run ./build.sh --dev
|
|
|
|
|
echo
|
2016-01-15 13:18:30 +00:00
|
|
|
dapper make all
|
2015-09-19 15:43:00 +00:00
|
|
|
else
|
2016-01-15 13:18:30 +00:00
|
|
|
dapper make DEV_BUILD=1 all
|
2015-09-19 15:43:00 +00:00
|
|
|
fi
|
|
|
|
|
|
2015-02-09 04:38:37 +00:00
|
|
|
|
2015-07-23 13:53:01 +00:00
|
|
|
ls -lh dist/artifacts
|
