[klee-dev] --disable-nls option

[BNM]

Hello,

I have tried to use KLEE with some benchmarks and I have followed the 
tutorial of using KLEE with Coreutils. After I installed WLLVM, I have 
tried to build the benchmark with LLVM as mentioned in Step three but I 
don't know where can I put the option of disabling nls  (--disable-nls). The benchmark doesn't have configure shell script , just has  make file. Can anyone help me to solve this issue ?
Thank you,