From a530e3a33a2059f1daf2018d6feefc08e8d5c75c Mon Sep 17 00:00:00 2001 From: heck Date: Thu, 4 May 2023 14:59:38 +0200 Subject: [PATCH] add alais toolchain_info --- bash_profile.d/00_base.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bash_profile.d/00_base.sh b/bash_profile.d/00_base.sh index e838245..c8566ba 100644 --- a/bash_profile.d/00_base.sh +++ b/bash_profile.d/00_base.sh @@ -46,4 +46,4 @@ alias md='m develop' # grep alias grep='grep --color=auto' - +alias toolchain_info='make -f ~/HeckBashSetup/scripts/ToolchainInfo'