os/build.sh

#!/bin/bash
set -e

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
  make all
else
  make DEV_BUILD=1 all
fi


ls -lh dist/artifacts
Initial commit 2015-02-08 21:38:37 -07:00			`#!/bin/bash`
			`set -e`

speed up the full build by swapping lzma with gzip if run with --dev flag 2015-09-19 20:43:00 +05: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`
			`make all`
			`else`
			`make DEV_BUILD=1 all`
			`fi`

Initial commit 2015-02-08 21:38:37 -07:00
dind-less, make-based build system 2015-07-23 18:53:01 +05:00			`ls -lh dist/artifacts`