diff options
Diffstat (limited to 'admin')
| -rwxr-xr-x | admin/update_autogen | 2 |
1 files changed, 1 insertions, 1 deletions
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. |