From 1a50f832562b0f0d00136021b0eb76ed40dcad4f Mon Sep 17 00:00:00 2001 From: Braiden Vasco Date: Wed, 8 Nov 2017 12:27:52 +0000 Subject: [PATCH] Default env is "none" --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index 1c46d0f..222595b 100755 --- a/configure +++ b/configure @@ -3,7 +3,7 @@ ENV="$1" if [ -z "$ENV" ]; then - ENV='x86' + ENV='none' fi CONFIG="env/$ENV.mk"