From 1ad7458d9fb87c3fe77bb31425168633ca782b03 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 6 Dec 2012 18:38:18 -0800 Subject: [PATCH] missing space Signed-off-by: Leonardo de Moura --- scripts/mk_util.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 085ca2ad1..19331ee50 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1120,7 +1120,7 @@ class JavaExampleComponent(ExampleComponent): out.write('_ex_%s: %s' % (self.name, pkg)) deps = '' for jfile in get_java_files(self.ex_dir): - out.write(os.path.join(self.to_ex_dir, jfile)) + out.write(' %s' % os.path.join(self.to_ex_dir, jfile)) if IS_WINDOWS: deps = deps.replace('/', '\\') out.write('%s\n' % deps)