diff options
Diffstat (limited to 'src/scripts/genfiles.sh')
| -rwxr-xr-x | src/scripts/genfiles.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/scripts/genfiles.sh b/src/scripts/genfiles.sh index ed3b68a..f9cdecf 100755 --- a/src/scripts/genfiles.sh +++ b/src/scripts/genfiles.sh | |||
| @@ -91,7 +91,6 @@ generate_makefile_config() | |||
| 91 | rm -f ${BASEDIR}/Makefile.config | 91 | rm -f ${BASEDIR}/Makefile.config |
| 92 | { | 92 | { |
| 93 | # add configured options | 93 | # add configured options |
| 94 | echo "ISOTYPE ?= ${CONFIG_ISO_TYPE}" | ||
| 95 | echo "DISKSIZE ?= ${CONFIG_IMG_SIZE}" | 94 | echo "DISKSIZE ?= ${CONFIG_IMG_SIZE}" |
| 96 | echo "DISKTYPE ?= ${CONFIG_PART_TYPE}" | 95 | echo "DISKTYPE ?= ${CONFIG_PART_TYPE}" |
| 97 | echo "PARTSIZE ?= ${CONFIG_PART_SIZE}" | 96 | echo "PARTSIZE ?= ${CONFIG_PART_SIZE}" |
