8 lines
156 B
Coq
8 lines
156 B
Coq
|
|
import os
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
result := os.execute('cmd /c dir')
|
||
|
|
if result.output !='' {println(result.output)}
|
||
|
|
else {println('Error: not working') exit(1)}
|
||
|
|
}
|