From 3c3abc078f1735a10a389fa8ac576a0db4821940 Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lm@inf.ethz.ch>
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):
--
GitLab