add IF_BATCHBUILD_OR_IDE

239ca441 · John van Groningen · d674a83f · 239ca441
Commit 239ca441 authored May 07, 2010 by John van Groningen
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

PmCallBack.dcl BatchBuild/PmCallBack.dcl +2 -0

No files found.
--- a/BatchBuild/PmCallBack.dcl
+++ b/BatchBuild/PmCallBack.dcl
@@ -6,3 +6,5 @@ from IdeState import ::GeneralSt,instance FileSystem GeneralSt,instance FileEnv
 start :: !.a !(.Bool -> .(.a -> .(*GeneralSt -> *(.a,*GeneralSt)))) !*GeneralSt -> *GeneralSt
 cont :: !*(!.a,!*GeneralSt) -> *(.a,!*GeneralSt);
 stop :: !*(.a,!*GeneralSt) -> *(.a,!*GeneralSt);
+
+IF_BATCHBUILD_OR_IDE batchbuild ide :== batchbuild
\ No newline at end of file