diff options
Diffstat (limited to 'pkgs/development/compilers/ocaml/builder.sh')
-rw-r--r-- | pkgs/development/compilers/ocaml/builder.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/development/compilers/ocaml/builder.sh b/pkgs/development/compilers/ocaml/builder.sh index a1807682d86..88acc0654cf 100644 --- a/pkgs/development/compilers/ocaml/builder.sh +++ b/pkgs/development/compilers/ocaml/builder.sh @@ -1,3 +1,4 @@ +if [ -e .attrs.sh ]; then source .attrs.sh; fi source $stdenv/setup configureFlags="-prefix $out $configureFlags" |