patch-configure « files « geneweb « www - ports.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/www/geneweb/files/patch-configure

blob: c6cdfd6848e404509c86e08d90298249eb9fbe88 (plain) (blame)

--- configure.orig	2016-11-06 14:21:56 UTC
+++ configure
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 OCAML_MIN_VER="4.02"