Speeding up tests on Linux

rafael-santiago · Mar 9, 2020 · 7a8d2a0 · 7a8d2a0
1 parent 9f24b0e
commit 7a8d2a0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/src/test/Forgefile.hsl b/src/test/Forgefile.hsl
@@ -161,6 +161,9 @@ local function set_devpath() : result type none {
     $lines = hefesto.sys.lines_from_file("../DEV_PATH", ".*");
     if ($lines.count() == 0) {
         $lines = hefesto.sys.lines_from_file("/etc/fstab", "^/.* / .*");
+        if ($lines.count() == 0) {
+            $lines = hefesto.sys.lines_from_file("/etc/fstab", "^/.*\\t/\\t.*");
+        }
         var devpath type string;
         if ($lines.count() != 1) {
             $devpath = hefesto.sys.prompt("It was not possible to guess the device path of your '/'. Please provide this path: ");

diff --git a/src/test/main.c b/src/test/main.c
@@ -934,7 +934,7 @@ static int lethe(const char *command, const char *user_choices) {
             fprintf(stderr, "Unable to create '.lethe_usr_inputs'.\n");
             return 1;
         }
-        fprintf(fp, "%s\n", user_choices);
+        fprintf(fp, "%s", user_choices);
         fclose(fp);
         usr_inputs = " < .lethe_usr_inputs";
     }