From 3c3abc078f1735a10a389fa8ac576a0db4821940 Mon Sep 17 00:00:00 2001 From: Lorenz Meier Date: Sun, 12 Jul 2015 17:23:11 +0200 Subject: [PATCH] Topic generation: Fix compile error --- Tools/px_generate_uorb_topic_headers.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Tools/px_generate_uorb_topic_headers.py b/Tools/px_generate_uorb_topic_headers.py index f1b2ff9ae0..92d7dc1ef1 100755 --- a/Tools/px_generate_uorb_topic_headers.py +++ b/Tools/px_generate_uorb_topic_headers.py @@ -105,7 +105,7 @@ def convert_dir(inputdir, outputdir, templatedir): # Find the most recent modification time in output dir maxouttime = 0 - if os.path.isdir(outputdir) + if os.path.isdir(outputdir): for f in os.listdir(outputdir): fni = os.path.join(outputdir, f) if os.path.isfile(fni):