diff options
| -rw-r--r-- | misc/yosys-config.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/misc/yosys-config.in b/misc/yosys-config.in index a31ef38c2..f0f0f7552 100644 --- a/misc/yosys-config.in +++ b/misc/yosys-config.in @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash help() { { |