diff options
author | Leo Tenenbaum <pommicket@gmail.com> | 2020-03-11 23:20:09 -0400 |
---|---|---|
committer | Leo Tenenbaum <pommicket@gmail.com> | 2020-03-11 23:20:09 -0400 |
commit | c4cc5ad9f55879be383516ba19a15150b91ba3fb (patch) | |
tree | 09af00939d79f7ec8e303f99ff12355949194235 | |
parent | 72c6b2d83fc4f5f16810a08fe85f9a4a4fdf3083 (diff) |
removed unnecessary part of build script
-rwxr-xr-x | build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -31,7 +31,7 @@ if [ "$COMPILE_TIME_FOREIGN_FN_SUPPORT" != "no" ]; then else LIBRARIES='-ldl -lffcall' fi - ADDITIONAL_FLAGS="$ADDITIONAL_FLAGS -DCOMPILE_TIME_FOREIGN_FN_SUPPORT=1 $LIBRARIES -DNO_STATIC_ASSERT" + ADDITIONAL_FLAGS="$ADDITIONAL_FLAGS -DCOMPILE_TIME_FOREIGN_FN_SUPPORT=1 $LIBRARIES" fi |