diff --git a/export.fish b/export.fish index 95c6b7d366..700f636487 100644 --- a/export.fish +++ b/export.fish @@ -1,15 +1,6 @@ # This script should be sourced, not executed. function idf_export_main - # The file doesn't have executable permissions, so this shouldn't really happen. - # Doing this in case someone tries to chmod +x it and execute... - set cmd (status current-command) - if test $cmd != source -a $cmd != . - echo "his script should be sourced, not executed:" - echo . (realpath (status --current-filename)/..) - return 1 - end - if not set -q IDF_PATH echo "IDF_PATH must be set before sourcing this script" return 1 @@ -72,4 +63,4 @@ end idf_export_main -set -e idf_export_main \ No newline at end of file +set -e idf_export_main