changeset 3:92791d7fbf21

*** empty log message ***
author kono
date Sat, 01 Sep 2007 21:10:23 +0900
parents 61743469ee56
children f864bb4ba9a4
files cp.pl cp.pl.c make-cp-pl.sh
diffstat 3 files changed, 5 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/cp.pl	Fri Aug 31 23:33:02 2007 +0900
+++ b/cp.pl	Sat Sep 01 21:10:23 2007 +0900
@@ -48,7 +48,8 @@
 
 ttyflush :- flush_output.
 
-nofileerrors.
+nofileerrors :- prolog_flag(fileerrors,off,_).
+fileerrors :- prolog_flag(fileerrors,on,_).
 
 tab(0) :-!.
 tab(N) :- N>0, N1 is N-1,write(' '),tab(N1).
--- a/cp.pl.c	Fri Aug 31 23:33:02 2007 +0900
+++ b/cp.pl.c	Sat Sep 01 21:10:23 2007 +0900
@@ -137,7 +137,8 @@
 
 ttyflush :- flush_output.
 
-nofileerrors.
+nofileerrors :- prolog_flag(fileerrors,off,_).
+fileerrors :- prolog_flag(fileerrors,on,_).
 
 tab(0) :-!.
 tab(N) :- N>0, N1 is N-1,write(' '),tab(N1).
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/make-cp-pl.sh	Sat Sep 01 21:10:23 2007 +0900
@@ -0,0 +1,1 @@
+gcc -E -DSICSTUSV4 cp.pl.c | sed -e /^#/d > cp.pl