css: save the whole command-line in postprocess.py.

diff --git a/css/postprocess.py b/css/postprocess.py
index 9ff7810688abdda042c9b81ae1032b8ac9fd193c..968d62e10103d9a1552a6d876b938592de8f370d 100755 (executable)
--- a/css/postprocess.py
+++ b/css/postprocess.py
@@ -27,6 +27,7 @@
 import argparse
 import re
 import os
+import sys
 
 import_rx = re.compile("^@import url\\('(?P<file>[^']+)'\\);$")
 opening_brace_rx = re.compile("^\\s*:root\s*{\\s*$")
@@ -74,7 +75,7 @@ def postprocess(files):
     FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
     DEALINGS IN THE SOFTWARE.
 */
-""".format(' '.join(files)))
+""".format(' '.join(sys.argv[1:])))
 
         # Parse the top-level file
         with open(files[0]) as f: