
Bug reported privately by Nicolas Ollinger <nollinge@ens-lyon.fr>. You can trigger this bug prior to updating your sources with for example: % cat > Makefile <<EOF .DEFAULT: a EOF % make
Bug reported privately by Nicolas Ollinger <nollinge@ens-lyon.fr>. You can trigger this bug prior to updating your sources with for example: % cat > Makefile <<EOF .DEFAULT: a EOF % make