diff --git a/tools/data_source/echo.py b/tools/data_source/echo.py deleted file mode 100644 index 761a47303c7..00000000000 --- a/tools/data_source/echo.py +++ /dev/null @@ -1,14 +0,0 @@ -#!/usr/bin/env python - -""" -Script that just echos the command line. -""" - -import sys - -assert sys.version_info[:2] >= ( 2, 4 ) - -print '-' * 20, "
" -for elem in sys.argv: - print elem, "
" -print '-' * 20, "
" \ No newline at end of file diff --git a/tools/data_source/echo.xml b/tools/data_source/echo.xml deleted file mode 100644 index 43ad52fa29c..00000000000 --- a/tools/data_source/echo.xml +++ /dev/null @@ -1,23 +0,0 @@ - - - - - - echoes parameters - - - echo.py $input $database $output - - - - - - - - - - - - - -