1305 Commits

Author	SHA1	Message	Date
Robin Burchell	2b1a52745e	Ports: Remove MAKEOPTS hacks from bash ... This doesn't seem to go wrong anymore.	2019-05-28 11:03:18 +02:00
Robin Burchell	9a284ad3f7	Move everything to a subdirectory ... Also don't run cd for the initial git clone (DERP!), and other bash port fixes.	2019-05-28 03:07:18 +02:00
Robin Burchell	b12a096437	Add WIP bash port	2019-05-28 02:45:54 +02:00
Robin Burchell	19afcfe03c	port_include: Various updates ... * Prints what is run, which is useful for trace purposes. * Fix autotools configure to respect arguments * Add run_patch for applying patches	2019-05-28 02:45:54 +02:00
Robin Burchell	5c82d14128	Add the start of a simple ports infrastructure	2019-05-28 00:21:14 +02:00