|
|
@@ -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
|
|
|
+set -e idf_export_main
|