diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2014-10-26 19:36:28 -0700 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2014-10-26 19:36:28 -0700 |
| commit | fda0d85ae4596262d1da642593676e0f3cf3f0f1 (patch) | |
| tree | 0725f2bd71cd1bbb7912de74f519a025a4703245 /configure | |
| parent | 90e64853188620e02a02727ff050e5014cbc2528 (diff) | |
| download | pk-fda0d85ae4596262d1da642593676e0f3cf3f0f1.zip pk-fda0d85ae4596262d1da642593676e0f3cf3f0f1.tar.gz pk-fda0d85ae4596262d1da642593676e0f3cf3f0f1.tar.bz2 | |
Don't rely on the C library
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -3953,8 +3953,6 @@ fi CFLAGS="-Wall -Os -std=gnu99 -Wno-unused -Wno-attributes -fno-delete-null-pointer-checks" -LIBS="-lc -lgcc" - { $as_echo "$as_me:${as_lineno-$LINENO}: adding default configure arg: --host=riscv" >&5 |