diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-01-16 16:37:29 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-01-16 16:37:29 +0100 |
commit | 58f6c7b5f4935fe9aca0eceb4ce8684d9816c7b5 (patch) | |
tree | fcaf54aa5e4710368ee0db8f93240e87f4c030c5 | |
parent | b3f8438c6224f537ba7a84580f432c40a63a481c (diff) | |
download | compcert-58f6c7b5f4935fe9aca0eceb4ce8684d9816c7b5.tar.gz compcert-58f6c7b5f4935fe9aca0eceb4ce8684d9816c7b5.zip |
Replaced 8 spaces by tabs.
-rw-r--r-- | Makefile.extr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.extr b/Makefile.extr index 2d429f76..2afd6e31 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -157,7 +157,7 @@ clean: for d in $(ALLDIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done cleansource: - rm -f $(EXECUTABLES) + rm -f $(EXECUTABLES) for d in $(ALLDIRS); do rm -f $$d/*.cm[iox] $$d/*.o; done # Generation of .depend.extr |