forked fromfsharp/fsharp
- Notifications
You must be signed in to change notification settings - Fork0
Commit68bbffa
committed
install: avoid using DESTDIR in .Targets files
$DESTDIR is only meant to be a prefix to the prefix specifiedby the user, at install time. That is, if the prefix specifiedwas /usr, and $DESTDIR is assigned the value /tmp when runningthe target 'make install', then all the files installed shouldbe in /tmp/usr, but their contents should never reference thistemporal path /tmp/usr, but /usr, because DESTDIR is onlymeant to be used as a hook to where leave the binaries generatedfor a certain prefix.Fixes github issuefsharp#204, reported by Henrik Feldt.1 parent48f6037 commit68bbffa
1 file changed
+2
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
158 | 158 | | |
159 | 159 | | |
160 | 160 | | |
161 | | - | |
| 161 | + | |
162 | 162 | | |
163 | 163 | | |
164 | 164 | | |
| |||
175 | 175 | | |
176 | 176 | | |
177 | 177 | | |
178 | | - | |
| 178 | + | |
179 | 179 | | |
180 | 180 | | |
181 | 181 | | |
| |||
0 commit comments
Comments
(0)