From 15ceae92d54c7df7ba3d39eeda60d2820e04bb46 Mon Sep 17 00:00:00 2001 From: Davin McCall Date: Sun, 8 Dec 2019 00:42:26 +0000 Subject: [PATCH] Fix IGR makefile (spaces to tab) --- src/igr-tests/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/igr-tests/Makefile b/src/igr-tests/Makefile index 068381a..517d262 100644 --- a/src/igr-tests/Makefile +++ b/src/igr-tests/Makefile @@ -11,4 +11,4 @@ clean: rm -f restart/basic-ran rm -f check-basic/output.txt check-cycle/output.txt rm -rf reload1/sd - rm -rf reload2/sd + rm -rf reload2/sd -- 2.25.1