Searched hist:"6 a4f39545cd2cbc225108d713d3359b6f4aa24f2" (Results 1 – 1 of 1) sorted by relevance
6a4f39545cd2cbc225108d713d3359b6f4aa24f2 Sat Sep 28 21:58:12 UTC 2013 François Revol <revol@free.fr> configure: Fix bashismDebian uses dash as /bin/sh which doesn't know about [[ ]].