6 lines
179 B
Diff
6 lines
179 B
Diff
|
19,20c19
|
||
|
< echo ' -nopervasives -no-alias-deps -w -49' \
|
||
|
< ' -pp "$AWK -f expand_module_aliases.awk"';;
|
||
|
---
|
||
|
> echo ' -nopervasives -no-alias-deps -w -49';;
|