diff options
| author | David Allsopp <david.allsopp@metastack.com> | 2023-02-03 16:32:19 +0000 |
|---|---|---|
| committer | David Allsopp <david.allsopp@metastack.com> | 2023-02-03 16:32:19 +0000 |
| commit | 79fffac51888aaf405740a8011dc4b89373c0f09 (patch) | |
| tree | 0cf1916e0bd664d193e6157e86fc50d5fd18ae8e /Makefile | |
| parent | c25df24c0abd2e697a0091a93e03cacaa937b23e (diff) | |
| download | ocaml-79fffac51888aaf405740a8011dc4b89373c0f09.tar.gz | |
Revert "Merge pull request #11988 from dra27/reconfigure"
This reverts commit 6af3bb3accf3a46de59564af4cb15e670584be3e, reversing
changes made to 8ddd109b3d964c2800c79dfaa4d045c398b39f36.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -1860,11 +1860,6 @@ endif include .depend -ifneq "$(GENERATED_BY_CONFIG_STATUS)" "" -$(GENERATED_BY_CONFIG_STATUS): %: %.in - $(error $@ needs regenerating - please re-run configure) -endif - Makefile.config Makefile.build_config: config.status config.status: @echo "Please refer to the installation instructions:" |