[klee-commits] [1521] Moved klee_silent_exit.c to replay ( because our Makefiles are partially broken.)

[cristic at stanford.edu]

Revision: 1521
          http://keeda.stanford.edu/viewvc/viewvc.cgi?view=rev&revision=1521
Author:   cristic
Date:     2009-03-30 23:03:41 -0700 (Mon, 30 Mar 2009)
Log Message:
-----------
Moved klee_silent_exit.c to replay (because our Makefiles are partially broken.)

Modified Paths:
--------------
    replay/Makefile

Added Paths:
-----------
    replay/klee_silent_exit.c

Removed Paths:
-------------
    intrinsic/klee_silent_exit.c

Deleted: intrinsic/klee_silent_exit.c
===================================================================
--- intrinsic/klee_silent_exit.c	2009-03-31 04:30:34 UTC (rev 1520)
+++ intrinsic/klee_silent_exit.c	2009-03-31 06:03:41 UTC (rev 1521)
@@ -1,6 +0,0 @@
-#include <klee/klee.h>
-#include <stdlib.h>
-
-void klee_silent_exit(int status) {
-  exit(status);
-}

Modified: replay/Makefile
===================================================================
--- replay/Makefile	2009-03-31 04:30:34 UTC (rev 1520)
+++ replay/Makefile	2009-03-31 06:03:41 UTC (rev 1521)
@@ -2,9 +2,9 @@
 
 CFLAGS = -O2 -Wall -g
 
-KLEE_ENV_OBJS = ../lib/common/BOut.o ../models/simple/Release/klee_init_env.o ../models/simple/Release/fd_init.o ../intrinsic/Release/klee_make_symbolic.o ../intrinsic/Release/klee_silent_exit.o
+KLEE_ENV_OBJS = ../lib/common/BOut.o ../models/simple/Release/klee_init_env.o ../models/simple/Release/fd_init.o ../intrinsic/Release/klee_make_symbolic.o 
 
-SRCS = run-bout.c  file-creator.c
+SRCS = run-bout.c file-creator.c klee_silent_exit.c
 OBJS = $(SRCS:.c=.o)
 
 %.o: %.cc ../models/simple/fd.h

Copied: replay/klee_silent_exit.c (from rev 1520, intrinsic/klee_silent_exit.c)
===================================================================
--- replay/klee_silent_exit.c	                        (rev 0)
+++ replay/klee_silent_exit.c	2009-03-31 06:03:41 UTC (rev 1521)
@@ -0,0 +1,5 @@
+#include <stdlib.h>
+
+void klee_silent_exit(int status) {
+  exit(status);
+}
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://keeda.Stanford.EDU/pipermail/klee-commits/attachments/20090330/0852068e/attachment.html