Description:
Merge branch 'master' into windows
Commit status:
[Not Reviewed]
References:
Diff options:
Comments:
0 Commit comments
0 Inline Comments
Unresolved TODOs:
There are no unresolved TODOs
r116:5d4a79b51f8c - - 1 file changed: 1 inserted, 1 deleted
@@ -15,13 +15,13 | |||
|
15 | 15 | if ENV['TALKATIVE']!=nil |
|
16 | 16 | puts str |
|
17 | 17 | end |
|
18 | 18 | if ENV['GRADER_LOGGING']!=nil |
|
19 | 19 | log_fname = ENV['GRADER_LOGGING'] |
|
20 | 20 | fp = File.open(log_fname,"a") |
|
21 |
- fp.puts("run: #{Time.new.strftime("%H:%M")} #{ |
|
|
21 | + fp.puts("run: #{Time.new.strftime("%H:%M")} #{msg}") | |
|
22 | 22 | fp.close |
|
23 | 23 | end |
|
24 | 24 | end |
|
25 | 25 | |
|
26 | 26 | C_COMPILER = "gcc" |
|
27 | 27 | CPLUSPLUS_COMPILER = "g++" |
You need to be logged in to leave comments.
Login now