Linux: Add make build files to binary distribution (issue #939).

git-svn-id: https://chromiumembedded.googlecode.com/svn/trunk@1186 5089003a-bbd8-11dd-ad1f-f1f9622dbc98

tools/file_util.py

@@ -73,6 +73,17 @@ def copy_files(src_glob, dst_folder, quiet = True):
         else:
             copy_file(fname, dst, quiet)
 
+def remove_file(name, quiet = True):
+    """ Remove the specified file. """
+    try:
+        if path_exists(name):
+            os.remove(name)
+            if not quiet:
+                sys.stdout.write('Removing '+name+' file.\n')
+    except IOError, (errno, strerror):
+        sys.stderr.write('Failed to remove file '+name+': '+strerror)
+        raise
+
 def copy_dir(src, dst, quiet = True):
     """ Copy a directory tree. """
     try: