Tidy up pike version display

This commit is contained in:
William S Fulton 2013-05-08 17:36:03 +01:00
commit 7964ebe34f

View file

@ -1075,7 +1075,7 @@ pike_run:
# -----------------------------------------------------------------
pike_version:
$(PIKE) -v | head -n 1
$(PIKE) -v 2>&1 | head -n 1
# -----------------------------------------------------------------
# Cleaning the Pike examples