kernel/configure

#!/bin/sh -e

ENV="$1"

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

CONFIG="arch/$ENV/config.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`
Default env is "none" 2017-11-08 07:27:52 -05:00			`ENV='none'`
Improve configurator 2017-11-04 03:00:44 -04:00			`fi`

Move configuration to architecture directories 2017-11-08 07:29:42 -05:00			`CONFIG="arch/$ENV/config.mk"`
Improve configurator 2017-11-04 03:00:44 -04:00
			`if [ ! -f "$CONFIG" ]; then`
			`echo >&2 "ERROR: file "$CONFIG" does not exist"`
			`exit 1`
			`fi`

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