diff options
Diffstat (limited to 'tools/configure')
| -rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 6a9415e7a3..c79d69570c 100755 --- a/tools/configure +++ b/tools/configure | |||
| @@ -1608,7 +1608,7 @@ fi | |||
| 1608 | appextra="recorder:gui" | 1608 | appextra="recorder:gui" |
| 1609 | plugins="yes" | 1609 | plugins="yes" |
| 1610 | swcodec="yes" | 1610 | swcodec="yes" |
| 1611 | toolset="$gigabeatbitmaptools mknkboot" | 1611 | toolset="$gigabeatbitmaptools" |
| 1612 | boottool="$rootdir/tools/scramble -gigabeats" | 1612 | boottool="$rootdir/tools/scramble -gigabeats" |
| 1613 | bootoutput="nk.bin" | 1613 | bootoutput="nk.bin" |
| 1614 | # architecture, manufacturer and model for the target-tree build | 1614 | # architecture, manufacturer and model for the target-tree build |