diff options
author | Andreas Fuchs | 2020-11-25 19:08:00 -0500 |
---|---|---|
committer | notgne2 | 2020-12-02 10:24:23 -0700 |
commit | 29ab0624e3ff236669627f7154071e6c555abd85 (patch) | |
tree | c336a6af1c98ad2b8e7bb77dc72c6a12eaa7944c /examples | |
parent | 6ccc0b7ae981d8cd872af1eae69a2435aa87b8ef (diff) |
Use the profile closure's activate script to activate the profile
This gets rid of the "current_exe" vestige that has stuck around from
when this program was meant to be standalone; instead, we use
the (already known) path to the activate-rs wrapper, which
automatically uses the correct binary for the deploy target platform.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions