Skip to content

GitLab

Commit 8d31e8ae authored by John van Groningen's avatar John van Groningen
Browse files

add IF_BATCHBUILD_OR_IDE

parent 239ca441
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 0 deletions
Ide/PmCallBack.dcl
View file @ 8d31e8ae
......@@ -4,6 +4,8 @@ from IdeState import ::General,::PSt
from StdFile import class FileEnv,class FileSystem
from StdPStClass import instance FileEnv (PSt .a),instance FileSystem (PSt .a)
IF_BATCHBUILD_OR_IDE batchbuild ide:==ide
:: *GeneralSt :== PSt General
start :: !.a !(.Bool -> .(.a -> .(*GeneralSt -> *(.a,*GeneralSt)))) !*GeneralSt -> *GeneralSt
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment