--- Begin Message ---
Subject: |
[patch #3678] make -j unnecessarily requires an Unix shell |
Date: |
Mon, 24 Jan 2005 15:23:35 +0000 |
User-agent: |
Mozilla/5.0 (Windows NT 5.0; U) Opera 7.54 [it] |
URL:
<http://savannah.gnu.org/patch/?func=detailitem&item_id=3678>
Summary: make -j unnecessarily requires an Unix shell
Project: make
Submitted by: None
Submitted on: lun 24/01/2005 presso 15:23
Category: None
Priority: 5 - Normal
Status: None
Privacy: Public
Assigned to: None
Originator Email: address@hidden
Open/Closed: Open
Fixed Release: None
_______________________________________________________
Details:
make -j currently requires a Bourne shell on Windows. This isn't actually
necessary, and it appears to be caused by ignorance of the enhancemente of
the Windows command prompt on its ancestor, the DOS prompt. The attached
patch (targetting mingw32-make-3.80.0-3) fixes this
_______________________________________________________
File Attachments:
-------------------------------------------------------
Date: lun 24/01/2005 presso 15:23 Name: make-w32jobs.patch Size: 1,83KB
By: None
Patch
<http://savannah.gnu.org/patch/download.php?item_id=3678&item_file_id=4086>
_______________________________________________________
This item URL is:
<http://savannah.gnu.org/patch/?func=detailitem&item_id=3678>
_______________________________________________
Messaggio inviato via Savannah
http://savannah.gnu.org/
--- End Message ---