Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
clean-and-itasks
clean-ide
Commits
a6e0ebd7
Commit
a6e0ebd7
authored
Nov 26, 2001
by
Diederik van Arkel
Browse files
remove logfile module from BatchBuild directory
parent
fc089d00
Changes
2
Hide whitespace changes
Inline
Side-by-side
BatchBuild/logfile.dcl
deleted
100644 → 0
View file @
fc089d00
definition
module
logfile
import
StdString
,
StdFile
openLogfile
::
!
String
!*
f
->
(!
Bool
,!*
File
,!*
f
)
|
FileSystem
f
closeLogfile
::
!*
File
!*
f
->
(!
Bool
,!*
f
)
|
FileSystem
f
writeLogfile
::
!
String
!*
File
->
!*
File
BatchBuild/logfile.icl
deleted
100644 → 0
View file @
fc089d00
implementation
module
logfile
import
StdFile
,
StdPathname
,
StdBool
openLogfile
::
!
String
!*
f
->
(!
Bool
,!*
File
,!*
f
)
|
FileSystem
f
openLogfile
prj_name
env
#
log_name
=
RemoveSuffix
prj_name
+++.
".log"
=
fopen
log_name
FWriteText
env
closeLogfile
::
!*
File
!*
f
->
(!
Bool
,!*
f
)
|
FileSystem
f
closeLogfile
file
env
#
(
ok1
,
file
)
=
ferror
file
#
(
ok2
,
env
)
=
fclose
file
env
=
(
ok1
&&
ok2
,
env
)
writeLogfile
::
!
String
!*
File
->
!*
File
writeLogfile
s
file
=
fwrites
(
s
+++.
"
\n
"
)
file
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment