Files
ports/math/lean/patches/patch-bin_leanpkg
2022-03-11 19:36:11 +00:00

10 lines
165 B
Plaintext

Index: bin/leanpkg
--- bin/leanpkg.orig
+++ bin/leanpkg
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/ksh
unamestr=`uname`
if [[ "$unamestr" == 'Darwin' ]]; then