From f919f9dcbb54a08e6e26d6c229ce92fb784fa1b2 Mon Sep 17 00:00:00 2001
From: Tom Rondeau <trondeau@vt.edu>
Date: Fri, 13 Apr 2012 18:36:53 -0400
Subject: Removed whitespace and added dtools/bin/remove-whitespace as a tool
 to do this in the future.

The sed script was provided by Moritz Fischer.
---
 gnuradio-core/src/examples/mp-sched/run_synthetic.py | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'gnuradio-core/src/examples/mp-sched/run_synthetic.py')

diff --git a/gnuradio-core/src/examples/mp-sched/run_synthetic.py b/gnuradio-core/src/examples/mp-sched/run_synthetic.py
index 565e6c5c79..4896bca462 100755
--- a/gnuradio-core/src/examples/mp-sched/run_synthetic.py
+++ b/gnuradio-core/src/examples/mp-sched/run_synthetic.py
@@ -1,19 +1,19 @@
 #!/usr/bin/env python
 #
 # Copyright 2008 Free Software Foundation, Inc.
-# 
+#
 # This file is part of GNU Radio
-# 
+#
 # GNU Radio is free software; you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
 # the Free Software Foundation; either version 3, or (at your option)
 # any later version.
-# 
+#
 # GNU Radio is distributed in the hope that it will be useful,
 # but WITHOUT ANY WARRANTY; without even the implied warranty of
 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 # GNU General Public License for more details.
-# 
+#
 # You should have received a copy of the GNU General Public License along
 # with this program; if not, write to the Free Software Foundation, Inc.,
 # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
@@ -58,8 +58,8 @@ def write_shell_script(f, data_filename, description, ncores, gflops, max_pipes_
 
     f.write(") 2>&1 | grep --line-buffered -v '^>>>' | tee %s\n" % (data_filename,))
     f.flush()
-    
-    
+
+
 
 def main():
     description = """%prog gathers multiprocessor scaling data using the ./synthetic.py benchmark.
@@ -88,14 +88,14 @@ plot_flops.py will make pretty graphs from the output data generated by %prog.
     output_filename = args[0]
 
     shell = os.popen("/bin/sh", "w")
-    
+
     write_shell_script(shell,
                        output_filename,
                        options.description,
                        options.ncores,
                        options.gflops,
                        options.max_pipes_and_stages)
-    
+
 if __name__ == '__main__':
     main()
 
-- 
cgit v1.2.3