The SSH host key has changed on 8 April, 2022 to this one: SHA256:573uTBSeh74kvOo0HJXi5ijdzRm8me27suzNEDlGyrQ

Refactor elc-recompiling script a bit

gerrit-package
Gergely Polonkai 6 years ago
parent d297bde76e
commit 5466bab787
  1. 3
      recompile-files.sh

@ -7,8 +7,9 @@ for file in `find -iname '*.elc'`
do
elc=`basename "$file"`
el="${elc%c}"
dir=`dirname "$file"`
cd `dirname "$file"`
cd "$dir"
if test "$elc" -ot "$el"
then

Loading…
Cancel
Save