Only change diff options for OpenBSD
Only change diff options for OpenBSD

kojiromike/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev,uuhan/Idris-dev,uuhan/Idris-dev,kojiromike/Idris-dev,markuspf/Idris-dev,kojiromike/Idris-dev