From 100bc872dbd1c12c1f02e911225807e94d91d425 Mon Sep 17 00:00:00 2001 From: Matthias Braun Date: Tue, 23 Sep 2008 09:12:41 +0000 Subject: [PATCH] disable builtins by default [r22187] --- main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.c b/main.c index b137518..d75333d 100644 --- a/main.c +++ b/main.c @@ -567,7 +567,7 @@ int main(int argc, char **argv) default: case 4: set_option("strict-aliasing"); - use_builtins = true; + /* use_builtins = true; */ /* fallthrough */ case 3: set_option("cond-eval"); -- 2.20.1