diff options
Diffstat (limited to 'pkgs/development/tools/parsing/pgen/builder.sh')
| -rw-r--r-- | pkgs/development/tools/parsing/pgen/builder.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/tools/parsing/pgen/builder.sh b/pkgs/development/tools/parsing/pgen/builder.sh index a0ffad19b0c3..cdb1271466e6 100644 --- a/pkgs/development/tools/parsing/pgen/builder.sh +++ b/pkgs/development/tools/parsing/pgen/builder.sh @@ -1,4 +1,4 @@ -. $stdenv/setup +source $stdenv/setup configureFlags="--with-aterm=$aterm \ --with-toolbuslib=$toolbuslib \ --with-pt-support=$ptsupport \ |