Fixed and standardized reference to '/dev/in' (without final slash '/…

…') as well.
giellalt · Dec 9, 2023 · 758c3de · 758c3de
1 parent 9ad135f
commit 758c3de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/devtools/ruletest/compile-rewrite-rules.sh b/devtools/ruletest/compile-rewrite-rules.sh
@@ -92,7 +92,7 @@ if(!abort) {
    if(exit_status!=1)
      {
        printf "Directory \"" fsttype "\" already exists - Overwrite? [y/n]: " > "/dev/stderr";
-       getline choice < "/dev/stdin/";
+       getline choice < "/dev/stdin";
        if(choice!="y" && choice!="yes")
          {
             printf "Aborting\n" > "/dev/stderr";