From b21e9d4df22c674ce4287d6262322a6d888deb12 Mon Sep 17 00:00:00 2001 From: Nicolas Petton Date: Fri, 22 Apr 2016 18:58:57 +0200 Subject: [PATCH] * admin/update_autogen: Use #!/usr/bin/env bash --- admin/update_autogen | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/admin/update_autogen b/admin/update_autogen index 199a3aad093..82ad622c64e 100755 --- a/admin/update_autogen +++ b/admin/update_autogen @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash ### update_autogen - update some auto-generated files in the Emacs tree ## Copyright (C) 2011-2016 Free Software Foundation, Inc.