diff options
Diffstat (limited to 'tools/release/manuals.pl')
-rwxr-xr-x | tools/release/manuals.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/release/manuals.pl b/tools/release/manuals.pl index 300557c2e1..3992da53d2 100755 --- a/tools/release/manuals.pl +++ b/tools/release/manuals.pl | |||
@@ -59,7 +59,7 @@ sub buildit { | |||
59 | 59 | ||
60 | `rm -rf * >/dev/null 2>&1`; | 60 | `rm -rf * >/dev/null 2>&1`; |
61 | 61 | ||
62 | my $c = "../tools/configure --target=$target --type=m"; | 62 | my $c = "../tools/configure --target=$target --type=m --ram=0"; |
63 | 63 | ||
64 | print "C: $c\n" if($verbose); | 64 | print "C: $c\n" if($verbose); |
65 | `$c`; | 65 | `$c`; |