Open cleverca22 opened 3 years ago
This seems like a bit of an edge-case - I'd imagine that for 99% of users the value of $PICO_SDK_PATH
will never change? :shrug:
Yes, for now just delete your build directory and start again
Oh, i saw you fixed the problem, but were just pointing it out... cool yeah, I agree this should be fixed
after running a garbage collection (deleting the old
$PICO_SDK_PATH
) and updating$PICO_SDK_PATH
to point to the new directory, cmake refused to respect that, and kept looking in the old path deletingCMakeCache.txt
made it forget and look in the new path, but it would be better if it detected the change automatically