diff options
Diffstat (limited to 'perl_checker.src/Makefile')
| -rw-r--r-- | perl_checker.src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/perl_checker.src/Makefile b/perl_checker.src/Makefile index 18bb52f..b639e6c 100644 --- a/perl_checker.src/Makefile +++ b/perl_checker.src/Makefile @@ -16,7 +16,7 @@ build_ml: $(MAKE) build.ml build.ml: - date '+let date = %s' > $@ + date '+let date = "%s"' > $@ echo 'let fake_packages_dir = "'$(VENDORLIB)'/perl_checker_fake_packages"' >> $@ echo 'let debugging = $(DEBUG) > 0' >> $@ |