Add missing newline at end of file
authorThomas Miedema <thomasmiedema@gmail.com>
Tue, 16 Feb 2016 13:15:58 +0000 (14:15 +0100)
committerThomas Miedema <thomasmiedema@gmail.com>
Tue, 16 Feb 2016 13:15:58 +0000 (14:15 +0100)
tests/ghc_ghci/test.T

index 25dfa9b..28b658e 100644 (file)
@@ -2,4 +2,4 @@
 test('hpc_ghc_ghci',
      [extra_clean(['A.hi', 'A.o', '.hpc/A.mix', '.hpc/']),
       only_ways(['normal']), when(compiler_profiled(), skip), req_interp],
-     run_command, ['$MAKE -s --no-print-directory hpc_ghc_ghci'])
\ No newline at end of file
+     run_command, ['$MAKE -s --no-print-directory hpc_ghc_ghci'])