kernel/configure

#!/bin/sh -e

ENV="$1"

if [ -z "$ENV" ]; then
    ENV='build'
fi

CONFIG="env/$ENV.mk"

if [ ! -f "$CONFIG" ]; then
    echo >&2 "ERROR: file "$CONFIG" does not exist"
    exit 1
fi

cp "$CONFIG" 'config.mk'
Add configuration script 2017-11-04 02:51:56 -04:00			`#!/bin/sh -e`

Improve configurator 2017-11-04 03:00:44 -04:00			`ENV="$1"`

			`if [ -z "$ENV" ]; then`
			`ENV='build'`
			`fi`

			`CONFIG="env/$ENV.mk"`

			`if [ ! -f "$CONFIG" ]; then`
			`echo >&2 "ERROR: file "$CONFIG" does not exist"`
			`exit 1`
			`fi`

			`cp "$CONFIG" 'config.mk'`