From 758c3def9ec853378dceacce5df9ee5ce79ab347 Mon Sep 17 00:00:00 2001 From: "antti.arppe@iki.fi" Date: Sat, 9 Dec 2023 16:29:14 -0700 Subject: [PATCH] Fixed and standardized reference to '/dev/in' (without final slash '/') as well. --- devtools/ruletest/compile-rewrite-rules.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/devtools/ruletest/compile-rewrite-rules.sh b/devtools/ruletest/compile-rewrite-rules.sh index 3accbc56..497bad12 100755 --- 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";