diff options
Diffstat (limited to 'make_ext.pl')
-rw-r--r-- | make_ext.pl | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/make_ext.pl b/make_ext.pl index 79ae1efb1a..ba507c8abc 100644 --- a/make_ext.pl +++ b/make_ext.pl @@ -36,10 +36,6 @@ my $ext_dirs_re = '(?:' . join('|', @ext_dirs) . ')'; # # make_ext.pl "MAKE=nmake -nologo" --dir=..\ext --target=clean # -# make_ext.pl MAKE=dmake --dir=..\ext -# -# make_ext.pl MAKE=dmake --dir=..\ext --target=clean -# # Will skip building extensions which are marked with an '!' char. # Mostly because they still not ported to specified platform. # |