From 6efa18e0719c0f0c80cadd811bc1520f80a25827 Mon Sep 17 00:00:00 2001 From: Alhadis Date: Sun, 15 Apr 2018 19:44:24 +1000 Subject: [PATCH] Force removal when replacing old grammar modules --- script/add-grammar | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/script/add-grammar b/script/add-grammar index 0bc48454..7bd46221 100755 --- a/script/add-grammar +++ b/script/add-grammar @@ -117,7 +117,7 @@ begin if $repo_old log "Deregistering: #{$repo_old}" - command('git', 'submodule', 'deinit', $repo_old) + command('git', 'submodule', 'deinit', '-f', $repo_old) command('git', 'rm', '-rf', $repo_old) command('script/grammar-compiler', 'update', '-f') end @@ -130,7 +130,8 @@ begin if $repo_old command('script/licensed') else - command('script/licensed', '--module', $repo_new) + repo_abs = File.absolute_path($repo_new) + command('script/licensed', '--module', repo_abs) end log "Updating grammar documentation in vendor/README.md"