diff options
author | Ondřej Čertík <ondrej@certik.us> | 2020-01-14 13:33:55 -0700 |
---|---|---|
committer | Ondřej Čertík <ondrej@certik.us> | 2020-01-14 13:33:55 -0700 |
commit | c5c515d2ba1ea9430cb2581eb98899a7d19b5a67 (patch) | |
tree | 512aba3797c7fe19f4dfd379e315d9372ffe07ef /src/main.rs | |
parent | 0575acc7cea7444c11cbe0da673211bc99cec68f (diff) | |
download | fpm-c5c515d2ba1ea9430cb2581eb98899a7d19b5a67.tar.gz fpm-c5c515d2ba1ea9430cb2581eb98899a7d19b5a67.zip |
Replace \ to / (needed for Windows)
Diffstat (limited to 'src/main.rs')
-rw-r--r-- | src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.rs b/src/main.rs index 8fb71c2..59e4c81 100644 --- a/src/main.rs +++ b/src/main.rs @@ -30,7 +30,7 @@ fn build() { for file in &files { println!("File: {}", file); if !file.ends_with("main.f90") { - files2 = files2 + " " + file; + files2 = files2 + " " + &file.replace("\\", "/"); } } println!("Files: {:?}", files); |