add pwd output

aibasel · Mar 13, 2024 · 6313754 · 6313754
1 parent e162e78
commit 6313754
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/misc/style/check-parameter-order.py b/misc/style/check-parameter-order.py
@@ -60,6 +60,7 @@ def matching(opening, closing):
     return (opening, closing) == ('(', ')') or (opening, closing) == ('[', ']')
 
 def extract_feature_parameter_list(feature_name):
+    print(str(subprocess.run(["pwd"], stdout=subprocess.PIPE).stdout))
     s = str(subprocess.run(["./../../builds/release/bin/downward", "--help", "--txt2tags", "{}".format(feature_name)], stdout=subprocess.PIPE).stdout)
     position = s.find(feature_name + "(")
     assert position != -1