diff options
Diffstat (limited to 'admin')
| -rwxr-xr-x | admin/make-emacs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/admin/make-emacs b/admin/make-emacs index b7cca06e1c6..e1be944e4cb 100755 --- a/admin/make-emacs +++ b/admin/make-emacs | |||
| @@ -109,7 +109,7 @@ if (@ARGV && $ARGV[0] eq "all") | |||
| 109 | shift @ARGV; | 109 | shift @ARGV; |
| 110 | } | 110 | } |
| 111 | 111 | ||
| 112 | system ("$make clean versionclean") if $all; | 112 | system ("$make clean") if $all; |
| 113 | 113 | ||
| 114 | if ($wall) | 114 | if ($wall) |
| 115 | { | 115 | { |