On Fri, 21 Apr 2017, Michael Felt wrote:
Make dies (no input file? because of /bin/sh rather than /bin/bash syntax perhaps?) with:
A work-around until we have this fixed is to use GNU make. -- / daniel.haxx.se ------------------------------------------------------------------- Unsubscribe: https://cool.haxx.se/list/listinfo/curl-library Etiquette: https://curl.haxx.se/mail/etiquette.html
