diff options
| author | Miro Jurisic <meeroh@mit.edu> | 1999-07-13 23:48:31 +0000 |
|---|---|---|
| committer | Miro Jurisic <meeroh@mit.edu> | 1999-07-13 23:48:31 +0000 |
| commit | 57c9db6786ba74401df7c973a368ae1884754ee7 (patch) | |
| tree | 33cd6a13adea887c88def3505351ea81ff99f25e /src/mac | |
| parent | 4662455df55bc3f4bba450153bfbb8e2f51fb781 (diff) | |
profile headers now copied to output
git-svn-id: svn://anonsvn.mit.edu/krb5/trunk@11564 dc483132-0cff-0310-8789-dd5450dbe970
Diffstat (limited to 'src/mac')
| -rw-r--r-- | src/mac/Makefile | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/src/mac/Makefile b/src/mac/Makefile index 8417fe071..9eff2ea72 100644 --- a/src/mac/Makefile +++ b/src/mac/Makefile @@ -1104,6 +1104,7 @@ clean Ä gss-headers-output-folder = {root-folder}:GSSLib:Headers: krb5-headers-output-folder = {root-folder}:Kerberos5Lib:Headers: krb5-globals-headers-output-folder = {root-folder}:Kerberos5GlobalsLib:Headers: +profile-headers-output-folder = {root-folder}:KerberosProfileLib:Headers: gss-headers-output = ¶ "{gss-headers-output-folder}gssapi.h" ¶ @@ -1118,7 +1119,10 @@ krb5-headers-output = ¶ krb5-globals-headers-output = ¶ "{krb5-globals-headers-output-folder}Kerberos5Globals.h" -headers-output = {gss-headers-output} {krb5-headers-output} {krb5-globals-headers-output} +profile-headers-output = ¶ + "{profile-headers-output-folder}profile.h" + +headers-output = {gss-headers-output} {krb5-headers-output} {krb5-globals-headers-output} {profile-headers-output} headers Ä {headers-output} @@ -1177,3 +1181,11 @@ headers Ä {headers-output} End Duplicate -y "{root-folder}mac:libraries:Kerberos v5 Globals:Krb5Globals.h" "{Targ}" SetFile -a l "{Targ}" + +"{profile-headers-output-folder}profile.h" Ä "{root-folder}util:profile:profile.h" {makefile-name} + "{create-folder}" "{TargDir}" + If (`Exists "{Targ}" | Count -l`) + SetFile -a l "{Targ}" + End + Duplicate -y "{root-folder}util:profile:profile.h" "{Targ}" + SetFile -a l "{Targ}" |