- Timestamp:
- 03/04/08 16:13:12 (10 months ago)
- Location:
- util
- Files:
-
- 2 modified
-
build_pugs.pl (modified) (1 diff)
-
gen_prelude.pl (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
util/build_pugs.pl
r19962 r20057 282 282 283 283 $run_setup = sub { system($setup, @_) }; 284 $run_setup->('configure', @configure_args, grep { !/^--.*=$/ } @{$opts->{SETUP}});284 $run_setup->('configure', '--user', @configure_args, grep { !/^--.*=$/ } @{$opts->{SETUP}}); 285 285 286 286 build_lib($version, $ghc, @args); -
util/gen_prelude.pl
r16503 r20057 67 67 strip_comments($program); 68 68 $program =~ s{(["\\])}{\\$1}g; 69 $program =~ s{\r?\n}{\\n \\\n\\}g;69 $program =~ s{\r?\n}{\\n" ++\n "}g; 70 70 71 71 print OUT <<'.';
